Optimal. Leaf size=183 \[ -\frac {10 a^3 \log (x)}{3 c^3}+\frac {35 a^3 \tan ^{-1}(a x)^2}{16 c^3}+\frac {3 a^2 \tan ^{-1}(a x)}{c^3 x}+\frac {11 a^4 x \tan ^{-1}(a x)}{8 c^3 \left (a^2 x^2+1\right )}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (a^2 x^2+1\right )^2}+\frac {11 a^3}{16 c^3 \left (a^2 x^2+1\right )}+\frac {a^3}{16 c^3 \left (a^2 x^2+1\right )^2}+\frac {5 a^3 \log \left (a^2 x^2+1\right )}{3 c^3}-\frac {\tan ^{-1}(a x)}{3 c^3 x^3}-\frac {a}{6 c^3 x^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.69, antiderivative size = 183, normalized size of antiderivative = 1.00, number of steps used = 38, number of rules used = 12, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.600, Rules used = {4966, 4918, 4852, 266, 44, 36, 29, 31, 4884, 4892, 261, 4896} \[ \frac {11 a^3}{16 c^3 \left (a^2 x^2+1\right )}+\frac {a^3}{16 c^3 \left (a^2 x^2+1\right )^2}+\frac {5 a^3 \log \left (a^2 x^2+1\right )}{3 c^3}+\frac {11 a^4 x \tan ^{-1}(a x)}{8 c^3 \left (a^2 x^2+1\right )}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (a^2 x^2+1\right )^2}-\frac {10 a^3 \log (x)}{3 c^3}+\frac {35 a^3 \tan ^{-1}(a x)^2}{16 c^3}+\frac {3 a^2 \tan ^{-1}(a x)}{c^3 x}-\frac {a}{6 c^3 x^2}-\frac {\tan ^{-1}(a x)}{3 c^3 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 29
Rule 31
Rule 36
Rule 44
Rule 261
Rule 266
Rule 4852
Rule 4884
Rule 4892
Rule 4896
Rule 4918
Rule 4966
Rubi steps
\begin {align*} \int \frac {\tan ^{-1}(a x)}{x^4 \left (c+a^2 c x^2\right )^3} \, dx &=-\left (a^2 \int \frac {\tan ^{-1}(a x)}{x^2 \left (c+a^2 c x^2\right )^3} \, dx\right )+\frac {\int \frac {\tan ^{-1}(a x)}{x^4 \left (c+a^2 c x^2\right )^2} \, dx}{c}\\ &=a^4 \int \frac {\tan ^{-1}(a x)}{\left (c+a^2 c x^2\right )^3} \, dx+\frac {\int \frac {\tan ^{-1}(a x)}{x^4 \left (c+a^2 c x^2\right )} \, dx}{c^2}-2 \frac {a^2 \int \frac {\tan ^{-1}(a x)}{x^2 \left (c+a^2 c x^2\right )^2} \, dx}{c}\\ &=\frac {a^3}{16 c^3 \left (1+a^2 x^2\right )^2}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {\int \frac {\tan ^{-1}(a x)}{x^4} \, dx}{c^3}-\frac {a^2 \int \frac {\tan ^{-1}(a x)}{x^2 \left (c+a^2 c x^2\right )} \, dx}{c^2}+\frac {\left (3 a^4\right ) \int \frac {\tan ^{-1}(a x)}{\left (c+a^2 c x^2\right )^2} \, dx}{4 c}-2 \left (\frac {a^2 \int \frac {\tan ^{-1}(a x)}{x^2 \left (c+a^2 c x^2\right )} \, dx}{c^2}-\frac {a^4 \int \frac {\tan ^{-1}(a x)}{\left (c+a^2 c x^2\right )^2} \, dx}{c}\right )\\ &=\frac {a^3}{16 c^3 \left (1+a^2 x^2\right )^2}-\frac {\tan ^{-1}(a x)}{3 c^3 x^3}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^4 x \tan ^{-1}(a x)}{8 c^3 \left (1+a^2 x^2\right )}+\frac {3 a^3 \tan ^{-1}(a x)^2}{16 c^3}+\frac {a \int \frac {1}{x^3 \left (1+a^2 x^2\right )} \, dx}{3 c^3}-\frac {a^2 \int \frac {\tan ^{-1}(a x)}{x^2} \, dx}{c^3}+\frac {a^4 \int \frac {\tan ^{-1}(a x)}{c+a^2 c x^2} \, dx}{c^2}-\frac {\left (3 a^5\right ) \int \frac {x}{\left (c+a^2 c x^2\right )^2} \, dx}{8 c}-2 \left (-\frac {a^4 x \tan ^{-1}(a x)}{2 c^3 \left (1+a^2 x^2\right )}-\frac {a^3 \tan ^{-1}(a x)^2}{4 c^3}+\frac {a^2 \int \frac {\tan ^{-1}(a x)}{x^2} \, dx}{c^3}-\frac {a^4 \int \frac {\tan ^{-1}(a x)}{c+a^2 c x^2} \, dx}{c^2}+\frac {a^5 \int \frac {x}{\left (c+a^2 c x^2\right )^2} \, dx}{2 c}\right )\\ &=\frac {a^3}{16 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^3}{16 c^3 \left (1+a^2 x^2\right )}-\frac {\tan ^{-1}(a x)}{3 c^3 x^3}+\frac {a^2 \tan ^{-1}(a x)}{c^3 x}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^4 x \tan ^{-1}(a x)}{8 c^3 \left (1+a^2 x^2\right )}+\frac {11 a^3 \tan ^{-1}(a x)^2}{16 c^3}+\frac {a \operatorname {Subst}\left (\int \frac {1}{x^2 \left (1+a^2 x\right )} \, dx,x,x^2\right )}{6 c^3}-\frac {a^3 \int \frac {1}{x \left (1+a^2 x^2\right )} \, dx}{c^3}-2 \left (-\frac {a^3}{4 c^3 \left (1+a^2 x^2\right )}-\frac {a^2 \tan ^{-1}(a x)}{c^3 x}-\frac {a^4 x \tan ^{-1}(a x)}{2 c^3 \left (1+a^2 x^2\right )}-\frac {3 a^3 \tan ^{-1}(a x)^2}{4 c^3}+\frac {a^3 \int \frac {1}{x \left (1+a^2 x^2\right )} \, dx}{c^3}\right )\\ &=\frac {a^3}{16 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^3}{16 c^3 \left (1+a^2 x^2\right )}-\frac {\tan ^{-1}(a x)}{3 c^3 x^3}+\frac {a^2 \tan ^{-1}(a x)}{c^3 x}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^4 x \tan ^{-1}(a x)}{8 c^3 \left (1+a^2 x^2\right )}+\frac {11 a^3 \tan ^{-1}(a x)^2}{16 c^3}+\frac {a \operatorname {Subst}\left (\int \left (\frac {1}{x^2}-\frac {a^2}{x}+\frac {a^4}{1+a^2 x}\right ) \, dx,x,x^2\right )}{6 c^3}-\frac {a^3 \operatorname {Subst}\left (\int \frac {1}{x \left (1+a^2 x\right )} \, dx,x,x^2\right )}{2 c^3}-2 \left (-\frac {a^3}{4 c^3 \left (1+a^2 x^2\right )}-\frac {a^2 \tan ^{-1}(a x)}{c^3 x}-\frac {a^4 x \tan ^{-1}(a x)}{2 c^3 \left (1+a^2 x^2\right )}-\frac {3 a^3 \tan ^{-1}(a x)^2}{4 c^3}+\frac {a^3 \operatorname {Subst}\left (\int \frac {1}{x \left (1+a^2 x\right )} \, dx,x,x^2\right )}{2 c^3}\right )\\ &=-\frac {a}{6 c^3 x^2}+\frac {a^3}{16 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^3}{16 c^3 \left (1+a^2 x^2\right )}-\frac {\tan ^{-1}(a x)}{3 c^3 x^3}+\frac {a^2 \tan ^{-1}(a x)}{c^3 x}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^4 x \tan ^{-1}(a x)}{8 c^3 \left (1+a^2 x^2\right )}+\frac {11 a^3 \tan ^{-1}(a x)^2}{16 c^3}-\frac {a^3 \log (x)}{3 c^3}+\frac {a^3 \log \left (1+a^2 x^2\right )}{6 c^3}-\frac {a^3 \operatorname {Subst}\left (\int \frac {1}{x} \, dx,x,x^2\right )}{2 c^3}-2 \left (-\frac {a^3}{4 c^3 \left (1+a^2 x^2\right )}-\frac {a^2 \tan ^{-1}(a x)}{c^3 x}-\frac {a^4 x \tan ^{-1}(a x)}{2 c^3 \left (1+a^2 x^2\right )}-\frac {3 a^3 \tan ^{-1}(a x)^2}{4 c^3}+\frac {a^3 \operatorname {Subst}\left (\int \frac {1}{x} \, dx,x,x^2\right )}{2 c^3}-\frac {a^5 \operatorname {Subst}\left (\int \frac {1}{1+a^2 x} \, dx,x,x^2\right )}{2 c^3}\right )+\frac {a^5 \operatorname {Subst}\left (\int \frac {1}{1+a^2 x} \, dx,x,x^2\right )}{2 c^3}\\ &=-\frac {a}{6 c^3 x^2}+\frac {a^3}{16 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^3}{16 c^3 \left (1+a^2 x^2\right )}-\frac {\tan ^{-1}(a x)}{3 c^3 x^3}+\frac {a^2 \tan ^{-1}(a x)}{c^3 x}+\frac {a^4 x \tan ^{-1}(a x)}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {3 a^4 x \tan ^{-1}(a x)}{8 c^3 \left (1+a^2 x^2\right )}+\frac {11 a^3 \tan ^{-1}(a x)^2}{16 c^3}-\frac {4 a^3 \log (x)}{3 c^3}+\frac {2 a^3 \log \left (1+a^2 x^2\right )}{3 c^3}-2 \left (-\frac {a^3}{4 c^3 \left (1+a^2 x^2\right )}-\frac {a^2 \tan ^{-1}(a x)}{c^3 x}-\frac {a^4 x \tan ^{-1}(a x)}{2 c^3 \left (1+a^2 x^2\right )}-\frac {3 a^3 \tan ^{-1}(a x)^2}{4 c^3}+\frac {a^3 \log (x)}{c^3}-\frac {a^3 \log \left (1+a^2 x^2\right )}{2 c^3}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.13, size = 142, normalized size = 0.78 \[ \frac {105 a^3 x^3 \left (a^2 x^2+1\right )^2 \tan ^{-1}(a x)^2+2 \left (105 a^6 x^6+175 a^4 x^4+56 a^2 x^2-8\right ) \tan ^{-1}(a x)+a x \left (25 a^4 x^4-160 \left (a^3 x^3+a x\right )^2 \log (x)+20 a^2 x^2+80 \left (a^3 x^3+a x\right )^2 \log \left (a^2 x^2+1\right )-8\right )}{48 c^3 x^3 \left (a^2 x^2+1\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.68, size = 179, normalized size = 0.98 \[ \frac {25 \, a^{5} x^{5} + 20 \, a^{3} x^{3} + 105 \, {\left (a^{7} x^{7} + 2 \, a^{5} x^{5} + a^{3} x^{3}\right )} \arctan \left (a x\right )^{2} - 8 \, a x + 2 \, {\left (105 \, a^{6} x^{6} + 175 \, a^{4} x^{4} + 56 \, a^{2} x^{2} - 8\right )} \arctan \left (a x\right ) + 80 \, {\left (a^{7} x^{7} + 2 \, a^{5} x^{5} + a^{3} x^{3}\right )} \log \left (a^{2} x^{2} + 1\right ) - 160 \, {\left (a^{7} x^{7} + 2 \, a^{5} x^{5} + a^{3} x^{3}\right )} \log \relax (x)}{48 \, {\left (a^{4} c^{3} x^{7} + 2 \, a^{2} c^{3} x^{5} + c^{3} x^{3}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \mathit {sage}_{0} x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 170, normalized size = 0.93 \[ -\frac {\arctan \left (a x \right )}{3 c^{3} x^{3}}+\frac {3 a^{2} \arctan \left (a x \right )}{c^{3} x}+\frac {11 a^{6} \arctan \left (a x \right ) x^{3}}{8 c^{3} \left (a^{2} x^{2}+1\right )^{2}}+\frac {13 a^{4} x \arctan \left (a x \right )}{8 c^{3} \left (a^{2} x^{2}+1\right )^{2}}+\frac {35 a^{3} \arctan \left (a x \right )^{2}}{16 c^{3}}-\frac {a}{6 c^{3} x^{2}}-\frac {10 a^{3} \ln \left (a x \right )}{3 c^{3}}+\frac {5 a^{3} \ln \left (a^{2} x^{2}+1\right )}{3 c^{3}}+\frac {a^{3}}{16 c^{3} \left (a^{2} x^{2}+1\right )^{2}}+\frac {11 a^{3}}{16 c^{3} \left (a^{2} x^{2}+1\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.46, size = 223, normalized size = 1.22 \[ \frac {1}{24} \, {\left (\frac {105 \, a^{3} \arctan \left (a x\right )}{c^{3}} + \frac {105 \, a^{6} x^{6} + 175 \, a^{4} x^{4} + 56 \, a^{2} x^{2} - 8}{a^{4} c^{3} x^{7} + 2 \, a^{2} c^{3} x^{5} + c^{3} x^{3}}\right )} \arctan \left (a x\right ) + \frac {{\left (25 \, a^{4} x^{4} + 20 \, a^{2} x^{2} - 105 \, {\left (a^{6} x^{6} + 2 \, a^{4} x^{4} + a^{2} x^{2}\right )} \arctan \left (a x\right )^{2} + 80 \, {\left (a^{6} x^{6} + 2 \, a^{4} x^{4} + a^{2} x^{2}\right )} \log \left (a^{2} x^{2} + 1\right ) - 160 \, {\left (a^{6} x^{6} + 2 \, a^{4} x^{4} + a^{2} x^{2}\right )} \log \relax (x) - 8\right )} a}{48 \, {\left (a^{4} c^{3} x^{6} + 2 \, a^{2} c^{3} x^{4} + c^{3} x^{2}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.59, size = 163, normalized size = 0.89 \[ \frac {\frac {25\,a^5\,x^4}{2}+10\,a^3\,x^2-4\,a}{24\,a^4\,c^3\,x^6+48\,a^2\,c^3\,x^4+24\,c^3\,x^2}+\frac {\mathrm {atan}\left (a\,x\right )\,\left (\frac {7\,x^2}{3\,c^3}-\frac {1}{3\,a^2\,c^3}+\frac {175\,a^2\,x^4}{24\,c^3}+\frac {35\,a^4\,x^6}{8\,c^3}\right )}{2\,x^5+\frac {x^3}{a^2}+a^2\,x^7}+\frac {5\,a^3\,\ln \left (a^2\,x^2+1\right )}{3\,c^3}-\frac {10\,a^3\,\ln \relax (x)}{3\,c^3}+\frac {35\,a^3\,{\mathrm {atan}\left (a\,x\right )}^2}{16\,c^3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 3.65, size = 722, normalized size = 3.95 \[ - \frac {160 a^{7} x^{7} \log {\relax (x )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {80 a^{7} x^{7} \log {\left (x^{2} + \frac {1}{a^{2}} \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {105 a^{7} x^{7} \operatorname {atan}^{2}{\left (a x \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {210 a^{6} x^{6} \operatorname {atan}{\left (a x \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} - \frac {320 a^{5} x^{5} \log {\relax (x )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {160 a^{5} x^{5} \log {\left (x^{2} + \frac {1}{a^{2}} \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {210 a^{5} x^{5} \operatorname {atan}^{2}{\left (a x \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {25 a^{5} x^{5}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {350 a^{4} x^{4} \operatorname {atan}{\left (a x \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} - \frac {160 a^{3} x^{3} \log {\relax (x )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {80 a^{3} x^{3} \log {\left (x^{2} + \frac {1}{a^{2}} \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {105 a^{3} x^{3} \operatorname {atan}^{2}{\left (a x \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {20 a^{3} x^{3}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} + \frac {112 a^{2} x^{2} \operatorname {atan}{\left (a x \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} - \frac {8 a x}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} - \frac {16 \operatorname {atan}{\left (a x \right )}}{48 a^{4} c^{3} x^{7} + 96 a^{2} c^{3} x^{5} + 48 c^{3} x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________